// Edge case: Empty file